package model.constraints.inherited.configurationSet;

import java.util.ArrayList;
import java.util.LinkedHashSet;

import model.constraints.inherited.Configuration;


import automata.Label;

public abstract class ConfigurationSet extends LinkedHashSet<Configuration> implements Cloneable  {
	
	private static final long serialVersionUID = 1L;	

	public ConfigurationSet(){}
	
	public ConfigurationSet(ArrayList<Configuration> a) {
		super.addAll(a);		
	}
	
	/*	
	public static ConfigurationSet empty() {
		return new ConfigurationSet();
	}
*/
		
	public String toString() {
		String str = new String();
		
		for (Configuration c: this) {
			str += c.toString();
			str += ",";
		}
		
		return str;
	}		
						
	public abstract ConfigurationSet changeConfiguration(Label label);
}